integral_0^1 (log(1-x^2)+2)